Specification techniques for real-time systems
نویسندگان
چکیده
منابع مشابه
Real-time systems - specification, verification and analysis
Bargaining with reading habit is no need. Reading is not kind of something sold that you can take or not. It is a thing that will change your life to life better. It is the thing that will give you many things around the world and this universe, in the real world and here after. As what will be given by this real time systems specification verification and analysis, how can you bargain with the...
متن کاملSpecification and Validation of Real Time Systems
The chapter presents a specification technique borrowing features from two classes of specification methods, formal and semi-formal ones. Each of the above methods have been proved to be useful in the development of real-time and critical systems and widely reported in different papers (Bruel, 1996; Clarke & Wing, 1996; Cohen, 1994; Fitzgerald & Larsen, 1994; Ghezzi, Mandrioli & Morzenti, 1990)...
متن کاملDiagrammatic Specification of Mobile Real-Time Systems
Behavior of spatio-temporal systems depends on real-time as well as spatial aspects. More and more safety-critical systems fall into this domain and thus raise the urge for formal specification and verification methods for this type of systems. For this purpose, we develop a diagrammatic language of Shape Diagrams that concentrates on the critical concepts and is usable by both engineers and sc...
متن کاملModular specification of real-time systems
Duration Calculus, a real-time interval logic, has been embedded in the Z specification language to provide a notation f o r real-time systems that combines the modularisation and abstraction facilities of Z with a logic suitable for reasoning about real-time properties [4 , 21. In this article the notation is presented through a top-level specification of requirements for a simple Air Traffic ...
متن کاملSpecification of Real-Time Systems in UML
We introduce time semantics into UML class and statechart diagrams. This extends the expressiveness of UML for specification of real-time systems and allows to specify verification properties of real-time systems by means of Timed Computation Tree Logic. We furthermore propose a way to collect stereotypes for specification of real-time systems. The approach is illustrated by a case study.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Standards & Interfaces
سال: 1987
ISSN: 0920-5489
DOI: 10.1016/0920-5489(87)90052-3